Evaluating and comparing fault-based testing strategies for general Boolean specifications: A series of experiments

A great amount of fault-based testing strategies have been proposed to generate test cases for detecting certain types of faults in Boolean specifications. However, most of the previous studies on these strategies were focused on the Boolean expressions in the disjunctive normal form (DNF), even the irredundant DNF (IDNF)-little work has been conducted to comprehensively investigate their performance on general Boolean specifications. In this study, we conducted a series of experiments to evaluate and compare 18 fault-based testing strategies using over 4000 randomly generated fault-seeded Boolean expressions. In the experiments, a testing strategy is regarded as effective and efficient if it can detect most of the seeded faults using a small number of test cases. Our experimental results show that if a testing strategy is highly effective and efficient when testing the Boolean expressions in the IDNF, it also shows high effectiveness and efficiency on general Boolean expressions. It is found that one family of fault-based testing strategies, namely MUMCUT, normally deliver the best performance among all the 18 strategies. Our study provides an in-depth understanding and insight of fault-based testing for general Boolean expressions

Intergovernmental Relationships in Costal Land Management

In order to decrease the degradation rate of magnesium (Mg) alloys for the potential orthopedic applications, manganese-calcium phosphate coatings were prepared on an Mg-Ca-Zn alloy in calcium phosphating solutions with different addition of Mn2+. Influence of Mn content on degradation behaviors of phosphate coatings in the simulated body fluid was investigated to obtain the optimum coating. With the increasing Mn addition, the corrosion resistance of the manganese-calcium phosphate coatings was gradually improved. The optimum coating prepared in solution containing 0.05 mol/L Mn2+ had a uniform and compact microstructure and was composed of MnHPO4 center dot 3H(2)O, CaHPO4 center dot 2H(2)O, and Ca-3 (PO4)(2). The electrochemical corrosion test in simulated body fluid revealed that polarization resistance of the optimum coating is 36273 Omega cm(2), which is about 11 times higher than that of phosphate coating without Mn addition. The optimum coating also showed the most stable surface structure and lowest hydrogen release in the immersion test in simulated body fluid

Broad-spectrum antimicrobial activity and improved stability of a D-Amino acid enantiomer of DMPC-10A, the designed derivative of dermaseptin truncates

DMPC-10A (ALWKKLLKK-Cha-NH2) is a 10-mer peptide derivative from the N-terminal domain of Dermaseptin-PC which has shown broad-spectrum antimicrobial activity as well as a considerable hemolytic effect. In order to reduce hemolytic activity and improve stability to endogenous enzymes, a D-amino acid enantiomer (DMPC-10B) was designed by substituting all L-Lys and L-Leu with their respective D-form amino acid residues, while the Ala1 and Trp3 remained unchanged. The D-amino acid enantiomer exhibited similar antimicrobial potency to the parent peptide but exerted lower cytotoxicity and hemolytic activity. Meanwhile, DMPC-10B exhibited remarkable resistance to hydrolysis by trypsin and chymotrypsin. In addition to these advantages, DMPC-10B exhibited an outstanding antibacterial effect against Methicillin-resistant Staphylococcus aureus (MRSA) and Klebsiella pneumoniae using the Galleria mellonella larva model and displayed synergistic activities with gentamicin against carbapenem-resistant K. pneumoniae strains. This indicates that DMPC-10B would be a promising alternative for treating antibiotic-resistant pathogens

Probing onset of strong localization and electron-electron interactions with the presence of direct insulator-quantum Hall transition

We have performed low-temperature transport measurements on a disordered two-dimensional electron system (2DES). Features of the strong localization leading to the quantum Hall effect are observed after the 2DES undergoes a direct insulator-quantum Hall transition with increasing the perpendicular magnetic field. However, such a transition does not correspond to the onset of strong localization. The temperature dependences of the Hall resistivity and Hall conductivity reveal the importance of the electron-electron interaction effects to the observed transition in our study.Comment: 9 pages, 4 figure

Quadratic Volume Preserving Maps

We study quadratic, volume preserving diffeomorphisms whose inverse is also quadratic. Such maps generalize the Henon area preserving map and the family of symplectic quadratic maps studied by Moser. In particular, we investigate a family of quadratic volume preserving maps in three space for which we find a normal form and study invariant sets. We also give an alternative proof of a theorem by Moser classifying quadratic symplectic maps.Comment: Ams LaTeX file with 4 figures (figure 2 is gif, the others are ps

2 Novel deletions of the sterol 27-hydroxylase gene in a Chinese Family with Cerebrotendinous Xanthomatosis

<p>Abstract</p> <p>Background</p> <p>Cerebrotendinous xanthomatosis (CTX) is a rare lipid-storage disease. We investigated the clinic manifestation, histopathology and sterol 27-hydroxylase gene (CYP27A1) in a Chinese family with Cerebrotendinous Xanthomatosis (CTX).</p> <p>Case Presentation</p> <p>A 36-year-old female with typical CTX clinical manifestation had Spindle-shaped lipid crystal clefts in xanthomas and "onion-like demyelination" in sural nerve. The patient was compound heterozygote carrying two deletions in exon 1 (c.73delG) and exon 2 (c.369_375delGTACCCA). The family memebers were carriers.</p> <p>Conclusions</p> <p>A Chinese family with Cerebrotendinous Xanthomatosis had typical clinical manifestation. CYP27A1 mutations were found in the proband and all other family members.</p

Child feeding and stunting prevalence in left-behind children: a descriptive analysis of data from a central and western Chinese population

Objectives: To examine the effect of parental rural-to-urban internal migration on nutritional status of left-behind children and how this is related to guardianship. Methods: We used UNICEF China’s maternal and child health survey data to investigate stunting prevalence and feeding practices in children left behind by rural-to-urban internal migrant parents. We also assessed the effects of primary guardianship which is related closely with parental migration. Results: Of 6,136 children aged 0-3 years, over one third was left behind by one or both parents. About 13% were left behind by mothers, leaving guardianship primarily to grandmothers. Left-behind status was not associated with stunting, yet children who were cared for primarily by their fathers had a 32% increase of stunting compared to children cared for by the mothers (adjusted odds ratio[aOR]=1.32;95% confidence interval=1.04-1.67). Children with migrant mothers were less likely to receive age-appropriate breastfeeding (aOR=0.04;0.02-0.10) and a minimum acceptable diet (aOR=0.56;0.39-0.79) compared with non-left-behind children. Conclusions: Guardian’s feeding behaviours varied, and was inappropriate for both children affected and not affected by parent’s rural-to-urban internal migration. Community-based infant and young child feeding counselling and support should be provided to all caregivers

Investigation of the HSPG2 Gene in Tardive Dyskinesia – New Data and Meta-Analysis

Tardive dyskinesia (TD) is a movement disorder that may occur after extended use of antipsychotic medications. The etiopathophysiology is unclear; however, genetic factors play an important role. The Perlecan (HSPG2) gene was found to be significantly associated with TD in Japanese schizophrenia patients, and this association was subsequently replicated by an independent research group. To add to the evidence for this gene in TD, we conducted a meta-analysis specific to the relationship of HSPG2 rs2445142 with TD occurrence, while also adding our unpublished genotype data. Overall, we found a significant association of the G allele with TD occurrence (p = 0.0001); however, much of the effect appeared to originate from the discovery dataset. Nonetheless, most study samples exhibit the same trend of association with TD for the G allele. Our findings encourage further genetic and molecular studies of HSPG2 in TD

Controllable Synthesis of Single-Crystalline CdO and Cd(OH)2Nanowires by a Simple Hydrothermal Approach

Single-crystalline Cd(OH)2 or CdO nanowires can be selectively synthesized at 150 °C by a simple hydrothermal method using aqueous Cd(NO3)2 as precursor. The method is biosafe, and compared to the conventional oil-water surfactant approach, more environmental-benign. As revealed by the XRD results, CdO or Cd(OH)2 nanowires can be generated in high purity by varying the time of synthesis. The results of FESEM and HRTEM analysis show that the CdO nanowires are formed in bundles. Over the CdO-nanowire bundles, photoluminescence at ~517 nm attributable to near band-edge emission of CdO was recorded. Based on the experimental results, a possible growth mechanism of the products is proposed

Association between RUNX3 promoter methylation and gastric cancer: a meta-analysis

<p>Abstract</p> <p>Background</p> <p>Runt-related transcription factor 3 (RUNX3) is a member of the runt-domain family of transcription factors and has been reported to be a candidate tumor suppressor in gastric cancer. However, the association between RUNX3 promoter methylation and gastric cancer remains unclear.</p> <p>Methods</p> <p>We systematically reviewed studies of RUNX3 promoter methylation and gastric cancer published in English or Chinese from January 2000 to January 2011, and quantified the association between RUNX3 promoter methylation and gastric cancer using meta-analysis methods.</p> <p>Results</p> <p>A total of 1740 samples in 974 participants from seventeen studies were included in the meta-analysis. A significant association was observed between RUNX3 promoter methylation and gastric cancer, with an aggregated odds ratio (OR) of 5.63 (95%CI 3.15, 10.07). There was obvious heterogeneity among studies. Subgroup analyses (including by tissue origin, country and age), meta-regression were performed to determine the source of the heterogeneity. Meta-regression showed that the trend in ORs was inversely correlated with age. No publication bias was detected. The ORs for RUNX3 methylation in well-differentiated <it>vs </it>undifferentiated gastric cancers, and in intestinal-type <it>vs </it>diffuse-type carcinomas were 0.59 (95%CI: 0.30, 1.16) and 2.62 (95%CI: 1.33, 5.14), respectively. There were no significant differences in RUNX3 methylation in cancer tissues in relation to age, gender, TNM stage, invasion of tumors into blood vessel or lymphatic ducts, or tumor stage.</p> <p>Conclusions</p> <p>This meta-analysis identified a strong association between methylation of the RUNX3 promoter and gastric cancer, confirming the role of RUNX3 as a tumor suppressor gene.</p